" C. Paulin-Mohring" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Interactive Theorem Proving and Program Development

Yves / CastTran, Pierre / Huet, Gerard (FRW) / Paulin-Mohring, Christine (FRW) Bertot

Категория: AI, knowledge

3.17 Mb

#2

Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions

Yves Bertot, Pierre Castéran, Pierre CastTran, G. Huet, C. Paulin-Mohring

1.85 Mb

#3

Mathematics of Program Construction, 9 conf., MPC 2008

Philippe Audebaud, Christine Paulin-Mohring

Категория: Cs_Computer science, CsLn_Lecture notes

3.57 Mb

#4

Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers

Eduardo Gimenez, Christine Paulin-Mohring

2.82 Mb

#5

Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings

Philippe Audebaud, Christine Paulin-Mohring

4.43 Mb